Radboud University Nijmegen

Results: 328



#Item
31Sequential product on effect logics Bas Westerbaan Thesis for the Master’s Examination Mathematics at the Radboud University Nijmegen, supervised by prof. dr. B.P.F. Jacobs with second reader drs. J

Sequential product on effect logics Bas Westerbaan Thesis for the Master’s Examination Mathematics at the Radboud University Nijmegen, supervised by prof. dr. B.P.F. Jacobs with second reader drs. J

Add to Reading List

Source URL: westerbaan.name

- Date: 2014-01-26 07:22:50
    32Quantum Programs as Kleisli Maps Abraham Westerbaan Radboud University Nijmegen Furber and Jacobs have shown in their study of quantum computation that the category of commutative C∗ -algebras and

    Quantum Programs as Kleisli Maps Abraham Westerbaan Radboud University Nijmegen Furber and Jacobs have shown in their study of quantum computation that the category of commutative C∗ -algebras and

    Add to Reading List

    Source URL: bram.westerbaan.name

    - Date: 2016-05-26 08:29:24
      33Quotient–Comprehension Chains Kenta Cho, Bart Jacobs, Bas Westerbaan and Bram Westerbaan Institute for Computing and Information Sciences (iCIS), Radboud University Nijmegen, The Netherlands. {k.cho,bart,bwesterb,awest

      Quotient–Comprehension Chains Kenta Cho, Bart Jacobs, Bas Westerbaan and Bram Westerbaan Institute for Computing and Information Sciences (iCIS), Radboud University Nijmegen, The Netherlands. {k.cho,bart,bwesterb,awest

      Add to Reading List

      Source URL: bram.westerbaan.name

      - Date: 2015-06-29 04:18:32
        34Formal Validation of Deadlock Prevention in Networks-on-Chips Freek Verbeek and Julien Schmaltz Radboud University Nijmegen Institute of Computing and Information Sciences 6500 GL Nijmegen, The Netherlands

        Formal Validation of Deadlock Prevention in Networks-on-Chips Freek Verbeek and Julien Schmaltz Radboud University Nijmegen Institute of Computing and Information Sciences 6500 GL Nijmegen, The Netherlands

        Add to Reading List

        Source URL: www.cs.utexas.edu

        - Date: 2011-05-19 21:26:45
          35Collected Size Semantics for Functional Programs ? O. Shkaravska, M. van Eekelen, A. Tamalet Institute for Computing and Information Sciences Radboud University Nijmegen

          Collected Size Semantics for Functional Programs ? O. Shkaravska, M. van Eekelen, A. Tamalet Institute for Computing and Information Sciences Radboud University Nijmegen

          Add to Reading List

          Source URL: cs.ru.nl

          - Date: 2015-04-11 11:03:51
            36Algebraic Effects, Linearity, and Quantum Programming Languages Sam Staton Radboud University Nijmegen Abstract

            Algebraic Effects, Linearity, and Quantum Programming Languages Sam Staton Radboud University Nijmegen Abstract

            Add to Reading List

            Source URL: www.cs.ox.ac.uk

            - Date: 2015-04-08 07:43:01
              37Total and Partial Computation in Categorical Quantum Foundations Kenta Cho Institute for Computing and Information Sciences Radboud University, Nijmegen, The Netherlands , http://www.cs.ru.nl/K.Cho/

              Total and Partial Computation in Categorical Quantum Foundations Kenta Cho Institute for Computing and Information Sciences Radboud University, Nijmegen, The Netherlands , http://www.cs.ru.nl/K.Cho/

              Add to Reading List

              Source URL: www.cs.ru.nl

              - Date: 2016-10-24 16:26:49
                38Total and Partial Computation in Categorical Quantum Foundations Kenta Cho Radboud University, Nijmegen, Netherlands QPL 2015

                Total and Partial Computation in Categorical Quantum Foundations Kenta Cho Radboud University, Nijmegen, Netherlands QPL 2015

                Add to Reading List

                Source URL: www.cs.ru.nl

                - Date: 2016-10-24 16:26:50
                  39STATMAN’S HIERARCHY THEOREM BRAM WESTERBAAN, BAS WESTERBAAN, RUTGER KUYPER, CARST TANKINK, REMY VIEHOFF, AND HENK BARENDREGT Radboud University Nijmegen e-mail address: Radboud University Nijmegen

                  STATMAN’S HIERARCHY THEOREM BRAM WESTERBAAN, BAS WESTERBAAN, RUTGER KUYPER, CARST TANKINK, REMY VIEHOFF, AND HENK BARENDREGT Radboud University Nijmegen e-mail address: Radboud University Nijmegen

                  Add to Reading List

                  Source URL: bram.westerbaan.name

                  - Date: 2015-09-10 10:36:07
                    40A Practical Attack on the MIFARE Classic Gerhard de Koning Gans, Jaap-Henk Hoepman, and Flavio D. Garcia Institute for Computing and Information Sciences Radboud University Nijmegen P.O. Box 9010, 6500 GL Nijmegen, The N

                    A Practical Attack on the MIFARE Classic Gerhard de Koning Gans, Jaap-Henk Hoepman, and Flavio D. Garcia Institute for Computing and Information Sciences Radboud University Nijmegen P.O. Box 9010, 6500 GL Nijmegen, The N

                    Add to Reading List

                    Source URL: www.proxmark.org

                    - Date: 2008-05-20 08:17:46